\frame[containsverbatim]
{
  \frametitle{FindInconsistentSync implementation (continued)}
{\scriptsize
\begin{verbatim}
private void inspectFieldAccess(
    MethodDescriptor methodDescriptor, ConstantPoolGen cpg,
    LockCountDataflow lockCountDataflow, Location location)
    throws DataflowAnalysisException {

  LockCount lockCount = lockCountDataflow.getFactAtLocation(location);
  if (lockCount.getCount() < 0) { return; }
  
  XField field = XFactory.createXField(
      (FieldInstruction) location.getHandle().getInstruction(), cpg);
  AccessCount accessCount = getAccessCount(field);
  
  if (lockCount.getCount() > 0) {
    accessCount.addSyncAccess();
  } else {
    accessCount.numUnsyncAccesses++;
    accessCount.addUnsyncAccess(
      SourceLineAnnotation.fromVisitedInstruction(methodDescriptor, location));
  }
}
\end{verbatim}
}
}
